A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic
نویسندگان
چکیده
منابع مشابه
A Semantics for Concurrent Logic Programming Languages Based on Multiple- Valued Logic
In order to obtain an understanding of parallel logic thought it is necessary to establish a fully abstract model of the denotational semantics of logic programming languages. In this paper, a fixed point semantics for the committed choice, nondeterministic family of parallel programming languages, i.e. the concurrent logic programming languages is developed. The approach is from an order theor...
متن کاملReal-Time Semantics for Concurrent Logic Languages
Although concurrent logic programming languages provide a suitable implementation environment for real-time systems, they fail to give any notion of temporal correctness. Previous work at extending logic languages for real-time is incomplete in terms of the real-time facilities provided. In this work, we deene a set of semantics whereby temporal constraints , consisting of delay, maximum execut...
متن کاملInfinite-game Semantics for Logic Programming Languages
This thesis focuses on the study of the semantics of logic programs and the development of infinite games of perfect information between two players, that capture this semantics. We define a game that, given a propositional logic program with negation and a ground atom that belongs to it, may have three possible results (win for any of the players or tie). The game is determined. Based on this,...
متن کاملA Concurrent Operational Semantics for Constraint Functional Logic Programming
In this paper we describe a sound and complete concurrent operational semantics for constraint functional logic programming languages which allows to model declarative applications in which the interaction between demand-driven narrowing and constraint solving helps to prune the search space, leading to shorter goal derivations. We encode concurrency into the generic CFLP(D) scheme, a uniform f...
متن کاملOn Multi-valued Semantics for Logic Programs
Abstract: For a general program P, multi-valued interpretations and models are defined, considering a set of truth logic values and an undefined value. The program P may contain constant propositions, which are defined for each truth logic value. Two orderings between the set of all multi-valued interpretations are considered: one is Fitting ordering and the other is standard ordering. The sema...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Advanced Computer Science and Applications
سال: 2012
ISSN: 2158-107X,2156-5570
DOI: 10.14569/ijacsa.2012.031002